1. A fuzzy PROLOG database system
Author: Li, Deyi
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
Classification :
QA
76
.
9
.
D3
.
L52
1990
2. Advanced topics in artificial intelligence :
Author: V[ladimír] Mařík, O[lga] Štěpánová, R[obert] Trappl (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: logično programiranje.,računalništvo.,umetna inteligenca.
Classification :
Q334
.
V533
1992
3. Advances in Artifical Intelligence :
Author: edited by Gordon McCalla.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer Science.
Classification :
Q334
.
E358
1996
4. Algebraic and logic programming :
Author: J. Grabowski, P. Lescanne, W. Wechler (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
Classification :
QA76
.
6
J473
1989
5. Artificial intelligence :
Author: George F. Luger, William A Stubblefield.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Knowledge representation (Information theory),LISP (Computer program language),Problem solving.,Prolog (Computer program language),Intelligence artificielle-- Informatique.,Intelligence artificielle.,LISP (Langage de programmation),Prolog (Langage de programmation),Représentation des connaissances.,Résolution de problème.,Systèmes experts (Informatique),Artificial intelligence.,ARTIFICIAL INTELLIGENCE.,EXPERT SYSTEMS.,IMAGE ANALYSIS.,IMAGE PROCESSING.,KNOWLEDGE BASES (ARTIFICIAL INTELLIGENCE),Knowledge representation (Information theory),KNOWLEDGE REPRESENTATION.,Künstliche Intelligenz,Kunstmatige intelligentie.,LISP (Computer program language),MACHINE LEARNING.,NATURAL LANGUAGE (COMPUTERS),PATTERN RECOGNITION.,Problem solving.,Problemlösen,Prolog (Computer program language),SELF ORGANIZING SYSTEMS.,SYSTEMS ENGINEERING.
Classification :
Q335
.
L84
1998
6. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
7. Computer Program Synthesis Methodologies :
Author: edited by Alan W. Biermann, Gérard Guiho.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
8. Conceptual and Numerical Analysis of Data :
Author: edited by Otto Optiz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Content analysis (Communication) -- Congresses.,Mathematical statistics -- Congresses.,Statistics.
9. Conceptual structures, current practices :
Author: John F Sowa
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Conceptual structures (Information theory) -- Congresses.,Graph theory -- Congresses.,Knowledge representation (Information theory) -- Congresses.
Classification :
Q387
.
J646
1994
10. Cooperating Heterogeneous Systems
Author: by David G. Schwartz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Operating systems (Computers),Software engineering.
11. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
12. Database applications usingprolog
Author: Robert Lucas
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer systems- Programming language: Prolog
Classification :
QA
،
76
.
73
،.
P76
,
L8
،
1988
13. Declarative programming and knowledge management :
Author: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
Classification :
QA76
.
615
14. Distributed Systems :
Author: by Albert Fleischmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
D5
B935
1994
15. Expert Systems and Robotics
Author: edited by Timothy Jordanides, Bruce Torby.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Physics.
Classification :
QA76
.
76
.
E95
E358
1991
16. Expert systems programming in Turbo prolog
Author: / Daniel H. Marcellus
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Expert systems (Computer science),Prolog (Computer program language),Turbo prolog (Computer program)
Classification :
006
.
33
M314E
17. Expert systems programming in turbo prolog
Author: MARCELLUS,DANIEL H
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: EXPERT SYSTEMS )COMPUTER SCIENCE( , PROLOG )COMPUTER PROGRAM LANGUAGE( , TURBO PROLOG
Classification :
QA
76
.
76
.
E95
M36
1989
18. Formal methods in standards :
Author: from the BCS working group ; ed. by C.L.N. Ruggles.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
S8
F766
1990
19. Foundations of Logic Programming
Author: by John Wylie Lloyd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
6
B956
1984
